翻訳と辞書 Words near each other ・ Refiloe Potse ・ Refilwe ・ Refilwe Modiselle ・ Refin-Mobilvetta ・ Refinable function ・ Refinancing ・ Refinancing burnout ・ Refinancing risk ・ Refinaria do Planalto Paulista ・ REFInd ・ Refined Bitumen Association ・ Refined coal ・ Refined grains ・ Refined Printing Command Stream ・ Refinement ・ Refinement (computing) ・ Refinement calculus ・ Refinement monoid ・ Refinery ・ Refinery (disambiguation) ・ Refinery CMS ・ Refinery row ・ Refinery Row (Edmonton) ・ Refinery29 ・ Refinería de Santa Cruz de Tenerife ・ Refining ・ Refining (metallurgy) ・ Refining Fires ・ Refinishing ・ REFIt Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Refinement (computing) ： ウィキペディア英語版 Refinement (computing) Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs to enable their formal verification. == Program refinement == In formal methods, program refinement is the verifiable transformation of an ''abstract'' (high-level) formal specification into a ''concrete'' (low-level) executable program. ''Stepwise refinement'' allows this process to be done in stages. Logically, refinement normally involves implication, but there can be additional complications. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Refinement (computing)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.